computational logic
- 网络计算逻辑
-
Some Revisions and Proofs on the Definition Principle in " A Computational Logic "
《计算逻辑》中定义原理的修改与重证
-
Rippling - out tactic for a computational logic
计算逻辑中的波动策略
-
Computational logic for integrator is predigested by the maintained object being changed from multi base tables to single source view on per-source ;
集成器的维护对象从每个数据源上的多基表简化为单源视图,集成计算逻辑得到了简化;
-
Model Checking Based on Temporal Logic , including linear temporal logic and computational tree logic .
模型检测基于时态逻辑(TemporalLogic),包括线性时态逻辑和计算树逻辑。
-
A concept of fuzzy Hopfield network ( FuzzyHN ) with the computational functions of fuzzy logic is defined .
首先提出了具有模糊逻辑计算功能的模糊Hopfield神经网络&FHN。
-
LAPP is a data modeling and different from traditional computational method of modeling gene logic networks . This computational approach identifies logic relationships of the elements ( or components ) in complex networks through the logic analysis of their expression data .
LAPP和传统建立基因逻辑网络模型的方法不同,它给出了一个从复杂网络的元素(或部件)的表达数据出发,通过逻辑分析,找到元素之间的逻辑关联性的建模方法。